and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
761	The Waters of Casablanca: Political Misinformation (and Knowledge and Ignorance) Robert C. Luskin University of Texas at Austin Gaurav Sood Add to Reading List Source URL: gsood.com Language: English - Date: 2014-08-22 22:18:30 Misinformation Contingency Belief Cognitive science Logic Misinformation effect
762	Emporia State University Libraries and Archives EG 101 Arguing a Position Worksheet Add to Reading List Source URL: esulibinstruction.weebly.com Language: English - Date: 2013-09-12 20:12:26 Language Writing Arguments Critical thinking Logic Email Article Library Cognition
763	The Emergence of Organizations and Markets edited by John F. Padgett and Walter W. Powell The Emergence of Organizations and Markets by John F. Padgett; Walter W. Powell Review by: James N. Baron American Journal of Soci Add to Reading List Source URL: woodypowell.com Language: English - Date: 2014-05-13 13:04:12 Sociology Science Guggenheim Fellows Behavioural sciences Organizational theory Systems theory Institutional logic Social constructionism Social network Lynette Spillman Economic sociology
764	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
765	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
766	Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:27 Declarative programming Constraint programming Software engineering Programming paradigms Computer programming Constraint logic programming Logic programming Constraint satisfaction Concurrent constraint logic programming
767	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
768	Are intentions reasons? And how should we cope with incommensurable values? John Broome University of Oxford From: Practical Rationality and Preference: Essays for David Gauthier, edited by Christopher Morris and Arthur Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2002-08-01 11:45:55 Reasoning Philosophy Logic Cognition Reason Practical reason Argument Normative Deductive reasoning Ethics Rationality Defeasible reasoning
769	BEHAVIORAL AND BRAIN SCIENCES, 57 –111 doi:S0140525X10000968 Why do humans reason? Arguments for an argumentative theory Hugo Mercier Add to Reading List Source URL: ram.mrtc.ri.cmu.edu Language: English - Date: 2011-05-22 02:25:08 Cognitive science Logic Philosophy Reasoning Critical thinking Epistemology Arguments Reason Fallacy Inference Psychology of reasoning Practical reason
770	FROM CLAUSEN TO CARLITZ: LOW-DIMENSIONAL SPIN GROUPS AND IDENTITIES AMONG CHARACTER SUMS NICHOLAS M. KATZ Dedicated to Pierre Deligne, with the utmost admiration Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2008-04-18 19:12:12 Mathematics Mathematical analysis Algebra Ordinary differential equations Algebraic topology Sheaf Kloosterman sum Hypergeometric function Cohomology Lie groups Linear temporal logic Differential forms on a Riemann surface

UPDATE